try {
	return (null == document.getElementById("%@"));
} catch (e) {
	return "_TOD_ERROR: " + e.toString();
}
